La logica e l'insegnamento della geometria

Tanto a livello storico quanto a livello didattico, il legame fra logica e geometria è molto stretto. Un sistema logico deve essere in grado di tradurre in una teoria deduttiva le nostre idee intuitive sullo spazio. David Hilbert scrive I fondamenti della geometria anche per chiarire la sua posizione sul significato di assiomi ed enti primitivi e Alfred Tarski propone una formalizzazione in un senso logico moderno per la geometria euclidea. La teoria di Tarski permette di discutere i problemi insolubili, cioè l'impossibilità di eseguire certe costruzioni geometriche. Nella seconda parte si pensia dd un'usuale teoria per la geometria euclidea del piano, ponendo l'attenzione sugli strumenti logici che compaiono nelle dimostrazioni.